2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Type-theoretical grammar
Автор:
Aarne Ranta
Категория:
L_Languages
,
LF_Formal theory
Размер книги: 2.33 Mb
Advances in natural language processing: 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008: proceedings
Автор:
Aarne Ranta
, Автор:
Bengt Nordström
Размер книги: 7.78 Mb
Type-Theoretical Grammar (Indices, 1
Автор:
Aarne Ranta
Категория:
cultures_languages
Размер книги: 2.35 Mb
Structural proof theory
Автор:
Professor Sara Negri
, Автор:
Jan von Plato
, Автор:
Aarne Ranta
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
Размер книги: 1.45 Mb
